Formule logique

En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel.

Les formules du langage sont interprétées, suivant la sémantique de la logique considérée, en leur attribuant une valeur de vérité. La syntaxe du calcul des prédicats nécessite d'introduire une autre notion, celle de terme, la syntaxe des termes du langage étant liée à une signature. Les termes sont eux interprétés par des objets (nombres, points, etc.).

Il est possible d'assembler les formules pour construire des démonstrations, suivant des règles formelles associées à un système de déduction.

L'appellation « formule bien formée » (traduction de (en)well-formed formula) pour formule, est une trace d'un usage ancien où on appelait formules les suites finies de caractères quelconques.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne